Signed-off-by: Keir Fraser <keir@xensource.com>
/* offending reserved bit will cause #GP */
if ( msr_content & ~(EFER_LME | EFER_LMA | EFER_NX | EFER_SCE) )
{
- printk("Trying to set reserved bit in EFER: %016llx\n",
+ printk("Trying to set reserved bit in EFER: %"PRIx64"\n",
msr_content);
svm_inject_exception(vc, TRAP_gp_fault, 1, 0);
return 0;
/* offending reserved bit will cause #GP */
if ( msr_content & ~(EFER_LME | EFER_LMA | EFER_NX | EFER_SCE) )
{
- printk("Trying to set reserved bit in EFER: %016llx\n",
+ printk("Trying to set reserved bit in EFER: %"PRIx64"\n",
msr_content);
vmx_inject_hw_exception(v, TRAP_gp_fault, 0);
return 0;